منابع مشابه
Analyse de dépendances et correction des réseaux de preuve
Les fruits de Curry-Howard. Depuis la mise en évidence via la correspondance de CurryHoward [21], des relations entre démonstrations mathématiques et programmes informatiques, théorie de la programmation et théorie de la démonstration s’enrichissent mutuellement. Parmi les nombreux allers-retours fructueux entre preuves et programmes, la logique linéaire [13] tient une place exemplaire. Girard ...
متن کاملRecherche de dépendances fonctionnelles et de règles d'association avec OLAP
Dans l’étude des bases de données, il est intéressant de déceler les liens entre les attributs. Pour ça, plusieurs outils sont disponibles. Les Règles d’Association (RA) permettent de savoir quelles valeurs des attributs dépendent d’autres valeurs. Les Dépendances Fonctionnelles (DF) permettent de savoir quels attributs dépendent des autres. Les RA donnent des informations à un niveau de granul...
متن کاملInteraction et Visualisation avec des liens de dépendances
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملConfidences de Salon
Breathe | March 2017 | Volume 13 | No 1 61 Maria R. Bonsignore is Head of the ERS Clinical Physiology, Sleep and Pulmonary Circulation Assembly, and an Associate Professor at DiBiMIS, University of Palermo, Palermo, Italy. She has a research interest in respiratory sleep medicine, with a focus on obstructive sleep apnoea. She is also involved in basic aspects of exercise physiology, in particul...
متن کاملRequêtes arbres régulières pour l'analyse de dépendances entre vues et mises à jour de documents XML
RÉSUMÉ. Dans ce papier nous étudions le problème classique de l’impact d’une mise à jour sur une vue, dans le cadre de données semi-structurées. Nous faisons les hypothèses suivantes: (i) le document source est modélisé par un arbre ordonné étiqueté par des symboles à arités variables, (ii) une vue V est une requête arbre dont l’évaluation sur le document source fournit la vue partielle souhait...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: 1895
سال: 2004
ISSN: 0769-0959,1960-6176
DOI: 10.4000/1895.1382